miniHDL: A Python Hardware Description Language DSL
nicholas.carlini.com·7h·
Discuss: Hacker News
💻programming
Lobsters Interview with Icefox
lobste.rs·7h·
Discuss: Lobsters
🏗️software engineering
Learning the Bitter Lesson
rlancemartin.github.io·9h·
Discuss: Hacker News
🏗️software engineering
Show HN: List of Clojure-Like projects
github.com·3h·
Discuss: Hacker News
🔵golang
Bay Area startup Harmonic gets gold medal at 2025 IMO with formal verification
harmonic.fun·3d·
Discuss: Hacker News
💻programming
LLGuidance: Making Structured Outputs Go Brrr
guidance-ai.github.io·1d·
Discuss: Hacker News
💻programming
Introduction to Unikernel: Building, Deploying Lightweight, Secure Applications
tallysolutions.com·9h·
Discuss: Hacker News
🖥️operating systems
Revolutionary ECC-256 Key Recovery via Quantum Collapse Algorithm
quantumtopology.substack.com·2d·
Discuss: Substack
📡distributed systems
Mun Programming Language
mun-lang.org·10h·
Discuss: Hacker News
💻programming
How to Write Inductive Invariants
quint-lang.org·9h·
Discuss: Lobsters, Hacker News, r/programming
📡distributed systems
The Schwartzian Transform (2016)
perl.com·8h·
Discuss: Hacker News
🏗️software engineering
Teaching Open Source in North Korea
izbicki.me·23h·
Discuss: Hacker News
💻programming
How Long Before Superintelligence?
nickbostrom.com·1d·
Discuss: Hacker News
📡distributed systems
My Journey to Pure No-Code Addition (Spoiler: Plot Twist Ending)
news.ycombinator.com·1d·
Discuss: Hacker News
💻programming
Ada Lovelace and the Analytical Engine
blogs.bodleian.ox.ac.uk·7h·
Discuss: Hacker News
📡distributed systems
Isle FPGA Computer
projectf.io·13h·
Discuss: Hacker News
🖥️operating systems
Step3
stepfun.ai·1d·
Discuss: Hacker News
🏗️software engineering
Computer Networking a Top-Down Approach, 9th Edition
gaia.cs.umass.edu·17h·
Discuss: Hacker News
📡distributed systems
Rust, Python, and TypeScript: the new trifecta
smallcultfollowing.com·2d·
Discuss: Hacker News
💻programming
GenosDB: Distributed Graph-Based Database
genosdb.com·3h·
Discuss: Hacker News
📡distributed systems